Nuprl Definition : da-outlink-f
0,22
postcript
pdf
da-outlink-f(
da
;
k
) == <lnk(
k
),tag(
k
),
da
(
k
)>
latex
clarification:
da-outlink-f(
da
;
k
) == <lnk(
k
),tag(
k
),fpf-ap(
da
; KindDeq;
k
)>
latex
Definitions
KindDeq
,
f
(
x
)
,
tag(
k
)
,
lnk(
k
)
FDL editor aliases
da-outlink-f
origin